complétude

complétude

complétude [ kɔ̃pletyd ] n. f.
• 1928; de complet, d'apr. incomplétude
♦ Didact. Caractère de ce qui est complet, achevé. — (1969) Épistém. Caractère d'un système hypothéticodéductif qui ne contient pas de propositions indécidables.

● complétude nom féminin (de complet 1) Propriété d'une théorie déductive non-contradictoire, dans laquelle toute formule est décidable. Propriété pour un espace d'être complet.

⇒COMPLÉTUDE, subst. fém.
DIDACT., rare. État, caractère de ce qui est complet, achevé, parfait. Synon. achèvement, complètement2, finitude; anton. insuffisance :
• Dans le rapport de possession, le terme fort c'est la chose possédée, je ne suis rien en dehors d'elle qu'un néant qui possède, rien d'autre que pure et simple possession, un incomplet, un insuffisant, dont la suffisance et la complétude sont dans cet objet là-bas.
SARTRE, L'Être et le Néant, 1943, p. 681.
Rem. Attesté ds ROB. Suppl. 1970; l'anton. incomplétude s'emploie en psychiatrie.
Étymol. et Hist. [1928 d'apr. ROB. Suppl.]; 1943 supra ex. Dér. de complet1; suff. -(i)tude.

complétude [kɔ̃pletyd] n. f.
ÉTYM. 1928; de 1. complet, d'après incomplétude.
❖
♦ Didact. Caractère de ce qui est complet, achevé. ⇒ Achèvement, finitude.
1 Il y a par-dessus tout la complétude du nerf. Complétude qui tient toute la conscience, et les chemins occultes de l'esprit dans la chair.
A. Artaud, Bilboquet, Œ. compl., t. I, p. 236.
2 (…) nul ne peut assumer la réponse impossible (d'une complétude insoutenable), et l'errance continue.
R. Barthes, Fragments d'un discours amoureux, p. 119.
♦ (1969). Caractère d'un système hypothético-déductif qui ne contient pas de propositions indécidables.
❖
CONTR. Incomplétude.

Encyclopédie Universelle. 2012.

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Completude — Complétude Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • completude — s. f. Qualidade do que é ou está completo.   ‣ Etimologia: completo + ude …   Dicionário da Língua Portuguesa

  • Complétude — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Complétude », sur le Wiktionnaire (dictionnaire universel) On parle de complétude en mathématiques… …   Wikipédia en Français

  • Complétude (mathématiques) — Complétude Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • complétude absolue — visiškasis baigtumas statusas T sritis radioelektronika atitikmenys: angl. absolute completeness vok. absolute Vollständigkeit, f rus. абсолютная завершённость, f pranc. complétude absolue, f …   Radioelektronikos terminų žodynas

  • complétude fonctionnelle — funkcinis baigtumas statusas T sritis radioelektronika atitikmenys: angl. functional completeness vok. funktionnelle Vollständigkeit, f rus. функциональная завершённость, f pranc. complétude fonctionnelle, f …   Radioelektronikos terminų žodynas

  • Theoreme de completude de Godel — Théorème de complétude de Gödel Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au …   Wikipédia en Français

  • Théorème de complétude — de Gödel Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au sens où toute… …   Wikipédia en Français

  • Théorème de complétude de gödel — Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au sens où toute proposition qui… …   Wikipédia en Français

  • Théorème de complétude de Gödel — Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats du premier ordre est complet au sens où toute… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”